1. Reachability problems :
پدیدآورنده : Antonín Kučera, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
2. Reachability problems
پدیدآورنده : Olivier Bournez, Igor Potapov, (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R58
2009
